From 7b78fbf79477d875815d832084d3d617023e30b3 Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.fraser@citrix.com>
Date: Tue, 22 Sep 2009 14:19:38 +0100
Subject: [PATCH] EPT: Assert p2m is locked in ept_sync_domain().
 Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>

---
 xen/arch/x86/hvm/vmx/vmx.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xen/arch/x86/hvm/vmx/vmx.c b/xen/arch/x86/hvm/vmx/vmx.c
index 3e4620fa0e..c51f560ab3 100644
--- a/xen/arch/x86/hvm/vmx/vmx.c
+++ b/xen/arch/x86/hvm/vmx/vmx.c
@@ -1233,6 +1233,7 @@ void ept_sync_domain(struct domain *d)
         return;
 
     ASSERT(local_irq_is_enabled());
+    ASSERT(p2m_locked_by_me(d->arch.p2m));
 
     /*
      * Flush active cpus synchronously. Flush others the next time this domain
-- 
2.30.2